Model-based Analysis of Embedded Systems: Placing It upon Its Feet Instead of on Its Head - An Outsider's View

This position paper makes a case for a paradigm shift in modeling and analyzing systems with embedded software for tasks such as testing, fault and safety analysis. We propose a physics-centered rather than software-centered perspective, based on the argument that the behavior and misbehavior of the physical system determines the relevant aspects of the embedded software. The implications of such an approach are illustrated using a case study on failure-modes and effects analysis in the automotive industries.